$\forall$$A$, $B$, $C$:Dsys.
\\[0ex]$A$ $\parallel$ $B$
\\[0ex]$\Rightarrow$ interface{-}compatible($A$;$C$)
\\[0ex]$\Rightarrow$ interface{-}compatible($B$;$C$)
\\[0ex]$\Rightarrow$ interface{-}compatible($A$ $\oplus$ $B$;$C$)